This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Philosophical and sociological approaches in technology have increasingly shifted toward describing AI (artificial intelligence) systems as ‘(moral) agents,’ while also attributing ‘agency’ to them. It is only in this way – so their principal argument goes – that the effects of technological components in a complex human-computer interaction can be understood sufficiently in phenomenological-descriptive and ethical-normative respects. By contrast, this article aims to demonstrate that an explanatory model only achieves a descriptively and normatively satisfactory result if the concepts of ‘(moral) (...) agent’ and ‘(moral) agency’ are exclusively related to human agents. Initially, the division between symbolic and sub-symbolic AI, the black box character of (deep) machine learning, and the complex relationship network in the provision and application of machine learning are outlined. Next, the ontological and action-theoretical basic assumptions of an ‘agency’ attribution regarding both the current teleology-naturalism debate and the explanatory model of actor network theory are examined. On this basis, the technical-philosophical approaches of Luciano Floridi, Deborah G. Johnson, and Peter-Paul Verbeek will all be critically discussed. Despite their different approaches, they tend to fully integrate computational behavior into their concept of ‘(moral) agency.’ By contrast, this essay recommends distinguishing conceptually between the different entities, causalities, and relationships in a human-computer interaction, arguing that this is the only way to do justice to both human responsibility and the moral significance and causality of computational behavior. (shrink)

To practise ‘fairly and justly’ a clinician must balance the needs of both the many and the few: the individual patient in front of them, and the many unseen patients in the waiting room, and in the county. They must consider the immediate clinical needs of those in the present, and how their actions will impact on future patients. The good medical practice guidance ‘Make the care of your patient your first concern’ provides no guidance on how doctors should act (...) when they care for multiple patients with conflicting needs. Moreover, conflicting needs extend far past simply those between different patients. At an organisational level, financial obligations must be balanced with clinical ones; the system must support those who work within it in a variety of roles; and, finally, in order for a healthcare service to be sustainable, the demands of current and future generations must be balanced.The central problem, we propose, is that there is no shared philosophical framework on which the provision of care or the development of health policy is based, nor is there a practical, fair and transparent process to ensure that the service is equipped to deal justly with new challenges as they emerge. Many philosophers have grappled with constructing a set of principles which would lead to a ‘good’ society which is just to different users; prominent among them is Rawls.Four important principles can be derived using a Rawlsian approach: equity of access, distributive justice, sustainability and openness. However, Rawls’ approach is sometimes considered too abstract to be applied readily to policymaking; it does not provide clear guidance for how individuals working within existing institutions can enact the principles of justice. We therefore combine the principles derived from Rawls with Scanlonian contractualism: by demanding that decisions are made in a way which cannot be ‘reasonably rejected’ by different stakeholders, we ensure that conflicting needs are considered robustly.We demonstrate how embedding this framework would ensure just policies and fair practice. We illustrate this by using examples of how it would help prevent injustice among different socioeconomic groups, prevent intergenerational injustice and prevent injustice in a crisis, for example, as we respond to new challenges such as COVID-19.Attempts to help individual doctors practise fairly and justly throughout their professional lives are best focused at an institutional or systemic level. We propose a practical framework: combining Scanlonian contractualism with a Rawlsian approach. Adopting this framework would equip the workforce and population to contribute to fair policymaking, and would ultimately result in a healthcare system whose practice and policies—at their core—were just. (shrink)

While offering a public welcome of communicative participation, a communicative dark side of the moderate Enlightenment project emerged. Moderate Enlightenmentrsquo;s corollary companion to wresting power from a limited few is the staggering sense of confidence in the universal ground of assurance that is ldquo;bad faithrdquo; mdash;we fib to ourselves that we can stand above history and affect the future. Absolute conviction of universal access to truth propels through methodological confidence, undergirding the era of ldquo;the rationalrdquo; pursuit of truth, transporting the (...) individual into an ethereal delusionmdash;that one can stand above the historical moment of engagement and cast judgment. This essay calls into question the common assumption that communication begins with the individual. We offer a critique of this assumption in accordance with radical enlightenment scholarship, calling forth a return to Otherness that renders the construct of individual secondary to that which is met.br /. (shrink)

Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...) quantifiers. The present paper deals with these issues in the context of quantified modal logics with generalized quantifiers. Its main aim is to establish two results for such a logic: Firstly, contingentists can draw the distinctions necessitists can draw if and only if the logic with inner quantifiers is at least as expressive as the logic with outer quantifiers, and necessitists can draw the distinctions contingentists can draw if and only if the logic with outer quantifiers is at least as expressive as the logic with inner quantifiers. Secondly, the former two items are the case if and only if all of the generalized quantifiers are first-order definable, and the latter two items are the case if and only if first-order logic with these generalized quantifiers relativizes. (shrink)

Tae Wan Kim, John Hooker, and Thomas Donaldson make an attempt, in recent articles, to solve the alignment problem. As they define the alignment problem, it is the issue of how to give AI systems moral intelligence. They contend that one might program machines with a version of Kantian ethics cast in deontic modal logic. On their view, machines can be aligned with human values if such machines obey principles of universalization and autonomy, as well as a deontic utilitarian principle. (...) Programming machines to do so might be useful, in their view, for applications such as future autonomous vehicles. Their proposal draws both on traditional logic-based and contemporary connectionist approaches, to fuse factual information with normative principles. I will argue that this approach makes demands of machines that go beyond what is currently feasible, and may extend past the limits of the possible for AI. I also argue that a deontological ethics for machines should place greater stress on the formula of humanity of the Kantian categorical imperative. On this principle, one ought never treat a person as a mere means. Recognition of what makes a person a person requires ethical insight. Similar insight is needed to tell treatment as a means from treatment as a mere means. The resources in Kim, Hooker, and Donaldson’s approach is insufficient for this reason. Hesitation regarding deployment of autonomous machines is warranted in light of these alignment concerns. (shrink)

The world provides us with an ocean of opportunities for fitting emotion. But we are beings with limited emotional resources, so missed opportunities are common. This chapter argues that these failures to take up fitting emotions are very frequently unfitting in their own right—so frequently, in fact, that most of us lead lives replete with unfitting absences of emotion. It begins by showing that, whenever an emotion can be unfitting in virtue of being too weak, the absence of that emotion (...) can also be unfitting, and for just the same reason. But emotional responses to a host of everyday objects—a funny joke, a nasty insult, and so on—can be unfittingly weak. This means that failures to respond emotionally to an enormous host of everyday objects are similarly unfitting. (shrink)

Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics which have been obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.

Reprint of the Knopf edition of 1972 with a new introduction by Fritz Stern. Now printed on acid-free paper. Annotation copyrighted by Book News, Inc., Portland, OR.

This paper presents a challenge to conciliationist views of disagreement. I argue that conciliationists cannot satisfactorily explain why we need not revise our beliefs in response to certain moral disagreements. Conciliationists can attempt to meet this challenge in one of two ways. First, they can individuate disputes narrowly. This allows them to argue that we have dispute-independent reason to distrust our opponents’ moral judgment. This approach threatens to license objectionable dogmatism. It also inappropriately gives deep epistemic significance to superficial questions (...) about how to think about the subject matter of a dispute. Second, conciliationists can individuate disputes widely. This allows them to argue that we lack dispute-independent reason to trust our opponents’ moral judgment. But such arguments fail; our background of generally shared moral beliefs gives us good reason to trust the moral judgment of our opponents, even after we set quite a bit of our reasoning aside. On either approach, then, conciliationists should acknowledge that we have dispute-independent reason to trust the judgment of those who reject our moral beliefs. Given a conciliationist view of disagreement’s epistemic role, this has the unattractive result that we are epistemically required to revise some of our most intuitively secure moral beliefs. (shrink)

Computer simulation is shown to be philosophically interesting because it introduces a qualitatively new methodology for theory construction in science different from the conventional two components of "theory" and "experiment and/or observation". This component is "experimentation with theoretical models." Two examples from the physical sciences are presented for the purpose of demonstration but it is claimed that the biological and social sciences permit similar theoretical model experiments. Furthermore, computer simulation permits theoretical models for the evolution of physical systems which use (...) cellular automata rather than differential equations as their syntax. The great advantages of the former are indicated. (shrink)

It is demonstrated that the reduction of a physical theory S to another one, T, in the sense that S can be derived from T holds in general only for the mathematical framework. The interpretation of S and the associated central terms cannot all be derived from those of T because of the qualitative differences between the cognitive levels of S and T. Their cognitively autonomous status leads to an epistemic as well as an ontological pluralism. This pluralism is consistent (...) with the unity of nature in the sense of a substantive monism. (shrink)

Propositional modal logic over relational frames is naturally extended with propositional quantifiers by letting them range over arbitrary sets of worlds of the relevant frame. This is also known as second-order propositional modal logic. The propositionally quantified modal logic of a class of relational frames is often not axiomatizable, although there are known exceptions, most notably the case of frames validating the strong modal logic $\mathrm {S5}$. Here, we develop new general methods with which many of the open questions in (...) this area can be answered. We illustrate the usefulness of these methods by applying them to a range of examples, which provide a detailed picture of which normal modal logics define classes of relational frames whose propositionally quantified modal logic is axiomatizable. We also apply these methods to establish new results in the multimodal case. (shrink)

Criteria are given to characterize mature theories in contradistinction to developing theories. We lean heavily on the physical sciences. An established theory is defined as a mature one with known validity limits. The approximate truth of such theories is thereby given a quantitative character. Superseding theories do not falsify established theories because the latter are protected by their validity limits. This view of scientific realism leads to ontological levels and cumulativity of knowledge. It is applied to a defense of realism (...) against recent attacks by Laudan. (shrink)

This paper is part of Forum COVID-19: Perspectives in the Humanities and Social Sciences. Being a “trauma of mankind” epidemics have been a major subject of historical research for a long time and regarding every historical period. Recurring to the concept of Rudolf Schlögl (“Vergesellschaftung unter Anwesenden”) my proposal is to research epidemics as a history of the communicating body and thus including the contagium as part of this communication.

ZusammenfassungDieser Beitrag ist Teil des Forums COVID-19: Perspektiven in den Geistes- und Sozialwissenschaften. Seuchen sind als „Menschheitstrauma“ seit eh und je Gegenstand der Geschichtswissenschaft für alle Epochen. Auf der Grundlage von Rudolf Schlögls Konzept der „Vergesellschaftung unter Anwesenden“ möchte ich im Folgenden vorschlagen, Seuchengeschichte als Körpergeschichte einer Kommunikation zu fassen, die das Kontagium als Gegenstand der Kommunikation einschließt.

Bezeichnet man im deutschsprachigen Raum eine kulturelle Veranstaltung als 'Spektakel', geht damit oft eine negative Wertung einher. Im Gegensatz dazu zeigt der Band die vielfältigen Begriffsdimensionen, medialen Charakteristika und Funktionen dieser zentralen ästhetischen Kategorie in künstlerischen, epistemischen und politischen Kontexten auf. Beiträge aus Kunstgeschichte, Philosophie, Film-, Literatur-, Medien-, Tanz- und Theaterwissenschaft setzen sich mit ästhetischen Theorien und Praktiken des Spektakels von der Antike bis zur Gegenwart auseinander. Die behandelten Beispiele reichen von der christlichen Liturgie bis zur Barockoper, von Paulinus von (...) Nola bis Christoph Schlingensief, vom populären Wissenschaftstheater des 19. Jahrhunderts bis zu politischen Funktionen des Spektakulären im südkoreanischen Kino oder dem italienischen Roman, in Alltag und Kunst des Sozialismus sowie der globalen Medienkultur. Mit Beiträgen von: Micha Braun, Simon Frisch, Elisabeth Fritz, Antje Géra, Nicola Gess, Martin Hähnel, Sarah Hegenbart, Teresa Hiergeist, Carsten Juwig, Katherina Keller-Grein, Kirsten Maar, Astrid Matron, Kassandra Nakas, Ulf Otto, Rita Rieger, Ivo Ritzer, Tanja Schwan und Christiane Voss"--Back cover. (shrink)

A collection of articles by leading authorities presenting an interdisciplinary approach to key issues of information science. Debates how information science affects various fields.